theory of logical types
逻辑类型的理论
热门查询
- peerage n. （全体）贵族；贵族地位；贵族阶级
- Beaton 比顿（姓氏）
- redoubt n. 多面堡；防御性障碍物
- endnote n. 尾注
- intraoperative adj. 手术发生的
- eddy n. 涡流；漩涡；逆流 vi. 旋转；起漩涡 vt. 使…起漩涡 n. (Eddy)人名；(英、法、印尼、葡)埃迪
- biogas n. 生物气，沼气
- pathetic adj. 可怜的，悲哀的；感伤的；乏味的
- botswana n. 博茨瓦纳（非洲中南部国家）
- crawlspace n. 狭小空隙（屋顶或地板下面供电线、水管通过的）
- adversely adv. 不利地；逆地；反对地
- backtracking n. [计] 回溯；回溯法 v. 原路返回；跟踪（backtrack的ing形式）
- brad n. [建] 曲头钉；角钉 n. (Brad)人名；(英、罗)布拉德 vt. 用无头钉固定
- DHAKA n. 达卡（孟加拉首都）
- whippet n. 轻型战车；小灵狗（一种赛狗）
- kong n. 钢；含锡砾石下的无矿基岩 n. (Kong)人名；(泰)空；(老、柬)贡
- multiverse n. 多元宇宙
- wildness n. 野蛮；原始；荒凉
- xix num. 罗马数字 19
- monumental adj. 不朽的；纪念碑的；非常的
考试词汇表
- bonding admixture
- bonding conductor
- bonding electrons
- bonding equipment
- bonding insurance
- bonding operation
- bonding parameter
- bonding technique
- bonding treatment
- bonding, wireless
- bonds outstanding
- bone architecture
- bone augmentation
- bone canalicullus
- bone cell lineage
- bone densitometry
- bone dry strength
- bone flat-abscess
- bone fracture set
- bone healing unit
